Stefano Tonetta: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || Automotive SPICE, Safety and Cybersecurity Integration

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 1.58 MB

english, 2017

2

[ACM Press the 2017 Workshop - Dallas, Texas, USA (2017.11.03-2017.11.03)] Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy - CPS '17 - From System Specification to Anomaly Detection (and back)

Fauri, Davide, dos Santos, Daniel Ricardo, Costante, Elisa, den Hartog, Jerry, Etalle, Sandro, Tonetta, Stefano

Year:

2017

Language:

english

File:

PDF, 1.96 MB

english, 2017

3

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - Time-aware relational abstractions for hybrid systems

Mover, Sergio, Cimatti, Alessandro, Tiwari, Ashish, Tonetta, Stefano

Year:

2013

Language:

english

File:

PDF, 676 KB

english, 2013

4

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10488 || Benchmarking Static Code Analyzers

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 2.46 MB

english, 2017

5

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || Fast Estimation of Privacy Risk in Human Mobility Data

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 212 KB

english, 2017

6

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || Try Walking in My Shoes, if You Can: Accurate Gait Recognition Through Deep Learning

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 1.14 MB

english, 2017

7

An abstraction refinement approach combining precise and approximated techniques

Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 479 KB

english, 2012

8

Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking

Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2011

Language:

english

File:

PDF, 2.23 MB

english, 2011

9

Formalizing requirements with object models and temporal constraints

Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta

Journal:

Software & Systems Modeling

Year:

2011

Language:

english

File:

PDF, 549 KB

english, 2011

10

GSTE is partitioned model checking

Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi

Journal:

Formal Methods in System Design

Year:

2007

Language:

english

File:

PDF, 618 KB

english, 2007

11

SMT-based scenario verification for hybrid systems

Cimatti, Alessandro, Mover, Sergio, Tonetta, Stefano

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 800 KB

english, 2013

12

[IEEE 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 38th Euromicro Conference on Software Engineering and Advanced Applications - A Property-Based Proof System for Contract-Based Design

Cimatti, Alessandro, Tonetta, Stefano

Year:

2012

Language:

english

File:

PDF, 204 KB

english, 2012

13

Quantifier-free encoding of invariants for hybrid systems

Cimatti, Alessandro, Mover, Sergio, Tonetta, Stefano

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 782 KB

english, 2014

14

Loop summarization using state and transition invariants

Kroening, Daniel, Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei, Wintersteiger, Christoph M.

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.14 MB

english, 2013

15

Validation of requirements for hybrid systems

Cimatti, Alessandro, Roveri, Marco, Susi, Angelo, Tonetta, Stefano

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2012

Language:

english

File:

PDF, 727 KB

english, 2012

16

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Parameter synthesis with IC3

Cimatti, Alessandro, Griggio, Alberto, Mover, Sergio, Tonetta, Stefano

Year:

2013

Language:

english

File:

PDF, 251 KB

english, 2013

17

[IEEE 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Oulu, Finland (2011.08.30-2011.09.2)] 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications - HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction

Cimatti, Alessandro, Mover, Sergio, Tonetta, Stefano

Year:

2011

Language:

english

File:

PDF, 379 KB

english, 2011

18

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Loopfrog: A Static Analyzer for ANSI-C Programs

Kroening, Daniel, Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei, Wintersteiger, Christoph M.

Year:

2009

Language:

english

File:

PDF, 410 KB

english, 2009

19

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - OCRA: A tool for checking the refinement of temporal contracts

Cimatti, Alessandro, Dorigatti, Michele, Tonetta, Stefano

Year:

2013

Language:

english

File:

PDF, 274 KB

english, 2013

20

Contracts-refinement proof system for component-based embedded systems

Cimatti, Alessandro, Tonetta, Stefano

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.21 MB

english, 2015

21

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Object Models with Temporal Constraints

Cimatti, Alessandro, Roveri, Marco, Susi, Angelo, Tonetta, Stefano

Year:

2008

Language:

english

File:

PDF, 385 KB

english, 2008

22

Safety assessment of AltaRica models via symbolic model checking

Bozzano, Marco, Cimatti, Alessandro, Lisagor, Oleg, Mattarei, Cristian, Mover, Sergio, Roveri, Marco, Tonetta, Stefano

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 997 KB

english, 2015

23

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - From PSL to NBA: a Modular Symbolic Encoding

Cimatti, Alessandro, Roveri, Marco, Semprini, Simone, Tonetta, Stefano

Year:

2006

Language:

english

File:

PDF, 483 KB

english, 2006

24

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - The synergy of precise and fast abstractions for program verification

Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei

Year:

2009

Language:

english

File:

PDF, 397 KB

english, 2009

25

[ACM Press the 8th international workshop - Amsterdam, The Netherlands (2009.08.25-2009.08.25)] Proceedings of the 8th international workshop on Specification and verification of component-based systems - SAVCBS '09 - An abstraction refinement approach combining precise and approximated techniques for efficient program verification

Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei

Year:

2009

Language:

english

File:

PDF, 225 KB

english, 2009

26

[ACM Press Proceeding of the 1st workshop - Waikiki, Honolulu, HI, USA (2011.05.28-2011.05.28)] Proceeding of the 1st workshop on Developing tools as plug-ins - TOPI '11 - OthelloPlay

Cavada, Roberto, Cimatti, Alessandro, Micheli, Andrea, Roveri, Marco, Susi, Angelo, Tonetta, Stefano

Year:

2011

Language:

english

File:

PDF, 81 KB

english, 2011

27

HRELTL: A temporal logic for hybrid systems

Cimatti, Alessandro, Roveri, Marco, Tonetta, Stefano

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 566 KB

english, 2015

28

[IEEE 2016 Architecture-Centric Virtual Integration (ACVI) - Venice, Italy (2016.4.5-2016.4.8)] 2016 Architecture-Centric Virtual Integration (ACVI) - A Temporal Logics Approach to Contract-Based Design

Cimatti, Alessandro, Tonetta, Stefano

Year:

2016

Language:

english

File:

PDF, 105 KB

english, 2016

29

[IEEE 2015 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2015.9.27-2015.9.30)] 2015 Formal Methods in Computer-Aided Design (FMCAD) - Comparing different functional allocations in automated air traffic control design

Mattarei, Cristian, Cimatti, Alessandro, Gario, Marco, Tonetta, Stefano, Rozier, Kristin Y.

Year:

2015

Language:

english

File:

PDF, 1.63 MB

english, 2015

30

Infinite-state invariant checking with IC3 and predicate abstraction

Cimatti, Alessandro, Griggio, Alberto, Mover, Sergio, Tonetta, Stefano

Journal:

Formal Methods in System Design

Year:

2016

Language:

english

File:

PDF, 1.87 MB

english, 2016

31

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10488 || A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 677 KB

english, 2017

32

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10488 || ErrorSim: A Tool for Error Propagation Analysis of Simulink Models

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 3.06 MB

english, 2017

33

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10488 || Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 1.28 MB

english, 2017

34

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10488 || Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 1.83 MB

english, 2017

35

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10488 || SMT-Based Synthesis of Fault-Tolerant Architectures

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 401 KB

english, 2017

36

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || Automated Legal Compliance Checking by Security Policy Analysis

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 774 KB

english, 2017

37

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || Security and Privacy in the Automotive Domain: A Technical and Social Analysis

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 138 KB

english, 2017

38

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || Detailed Analysis of Security Evaluation of Automotive Systems Based on JASO TP15002

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 559 KB

english, 2017

39

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project $$EMC^2$$

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 1.15 MB

english, 2017

40

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || Safety and Security Co-engineering and Argumentation Framework

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 984 KB

english, 2017

41

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || Process Assessment in Supplier Selection for Safety-Critical Systems in Nuclear Domain

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 1.20 MB

english, 2017

42

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || Analysis of Potential Code Vulnerabilities Involving Overlapping Instructions

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 445 KB

english, 2017

43

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10488 || A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 524 KB

english, 2017

44

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || Software Updates in Safety and Security Co-engineering

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 240 KB

english, 2017

45

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || Combining Safety and Security Analysis for Industrial Collaborative Automation Systems

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 398 KB

english, 2017

46

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 1.80 MB

english, 2017

47

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10488 || A Security Architecture for Railway Signalling

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 3.40 MB

english, 2017

48

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10488 || Generic Management of Availability in Fail-Operational Automotive Systems

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 1.23 MB

english, 2017

49

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || Towards Component-Based (max,+) Algebraic Throughput Analysis of Hierarchical Synchronous Data Flow Models

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 302 KB

english, 2017

50

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 10489 || Transparent Personal Data Processing: The Road Ahead

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2017

Language:

english

File:

PDF, 196 KB

english, 2017